Egidio Astesiano: потърсете в сайта Z-Library

Свободен достъп до знания и култура.

Don't use scam websites

Книги (19)
Най-популярни
Списък
- Списък
- Таблица

1

Algebraic Foundations of Systems Specification

Algebraic Foundations of Systems Specification

Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner

Година:

2011

Език:

english

Файл:

DJVU, 5.42 MB

0 / 0

english, 2011

2

Fundamental Approaches to Software Engineering: First International Conference, FASE'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Fundamental Approaches to Software Engineering: First International Conference, FASE'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Kent Beck (auth.), Egidio Astesiano (eds.)

Година:

1998

Език:

english

Файл:

DJVU, 6.08 MB

0 / 0

english, 1998

3

Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)

Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)

Springer-Verlag

Marie-Claude Gaudel, Gilles Bernot, Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner

Година:

1999

Език:

english

Файл:

PDF, 21.82 MB

0 / 0

english, 1999

4

Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Egidio Astesiano, Gianna Reggio (auth.), Christine Choppy, Oleg Sokolsky (eds.)

Година:

2010

Език:

english

Файл:

PDF, 4.67 MB

0 / 0

english, 2010

5

Scientific Engineering of Distributed Java Applications: Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003. Revised Papers

Scientific Engineering of Distributed Java Applications: Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Jose L. Ruiz, Jose L. Arciniegas, Rodrigo Cerón, Jesús Bermejo, Juan C. Dueñas (auth.), Nicolas Guelfi, Egidio Astesiano, Gianna Reggio (eds.)

Година:

2004

Език:

english

Файл:

PDF, 16.28 MB

0 / 0

english, 2004

6

Automata, Languages and Programming: Sixth Colloquium, Graz, Austria, July 16–20, 1979

Automata, Languages and Programming: Sixth Colloquium, Graz, Austria, July 16–20, 1979

Springer-Verlag Berlin Heidelberg

Egidio Astesiano, Gerardo Costa (auth.), Hermann A. Maurer (eds.)

Година:

1979

Език:

english

Файл:

PDF, 17.53 MB

0 / 0

english, 1979

7

Automata, Languages and Programming: Sixth Colloquium, Graz, Austria, July 16–20, 1979

Automata, Languages and Programming: Sixth Colloquium, Graz, Austria, July 16–20, 1979

Springer-Verlag Berlin Heidelberg

Egidio Astesiano, Gerardo Costa (auth.), Hermann A. Maurer (eds.)

Година:

1979

Език:

english

Файл:

DJVU, 5.76 MB

0 / 0

english, 1979

8

Scientific Engineering for Distributed Java Applications: International Workshop, FIDJI 2002 Luxembourg-Kirchberg, Luxembourg, November 28–29, 2002 Revised Papers

Scientific Engineering for Distributed Java Applications: International Workshop, FIDJI 2002 Luxembourg-Kirchberg, Luxembourg, November 28–29, 2002 Revised Papers

Springer-Verlag Berlin Heidelberg

P. Álvarez, J.A. Bañares, P.R. Muro-Medrano, J. Nogueras, F.J. Zarazaga (auth.), Nicolas Guelfi, Egidio Astesiano, Gianna Reggio (eds.)

Година:

2003

Език:

english

Файл:

PDF, 2.29 MB

0 / 0

english, 2003

9

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Springer-Verlag Berlin Heidelberg

Egidio Astesiano, Maura Cerioli (auth.), Martin Wirsing, Alexander Knapp, Simonetta Balsamo (eds.)

Година:

2004

Език:

english

Файл:

PDF, 3.79 MB

0 / 0

english, 2004

10

Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Egidio Astesiano, Gianna Reggio (auth.), Christine Choppy, Oleg Sokolsky (eds.)

Година:

2010

Език:

english

Файл:

PDF, 4.70 MB

0 / 0

english, 2010

11

Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Egidio Astesiano, Gianna Reggio (auth.), Christine Choppy, Oleg Sokolsky (eds.)

Година:

2010

Език:

english

Файл:

PDF, 6.78 MB

0 / 5.0

english, 2010

12

CAAP '81: Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings

CAAP '81: Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings

Springer-Verlag Berlin Heidelberg

Hartmut Ehrig (auth.), Egidio Astesiano, Corrado Böhm (eds.)

Година:

1981

Език:

english

Файл:

PDF, 8.56 MB

0 / 0

english, 1981

13

CAAP '81: Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings

CAAP '81: Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings

Springer-Verlag Berlin Heidelberg

Hartmut Ehrig (auth.), Egidio Astesiano, Corrado Böhm (eds.)

Година:

1981

Език:

english

Файл:

DJVU, 2.88 MB

0 / 0

english, 1981

14

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)

Година:

1995

Език:

english

Файл:

DJVU, 6.44 MB

0 / 0

english, 1995

15

Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers

Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers

Springer Berlin Heidelberg

Egidio Astesiano, Gianna Reggio (auth.), Michel Bidoit, Christine Choppy (eds.)

Година:

1993

Език:

english

Файл:

DJVU, 3.36 MB

0 / 0

english, 1993

16

Scientific Engineering for Distributed Java Applications: International Workshop, FIDJI 2002 Luxembourg-Kirchberg, Luxembourg, November 28–29, 2002 Revised Papers

Scientific Engineering for Distributed Java Applications: International Workshop, FIDJI 2002 Luxembourg-Kirchberg, Luxembourg, November 28–29, 2002 Revised Papers

Springer-Verlag Berlin Heidelberg

P. Álvarez, J.A. Bañares, P.R. Muro-Medrano, J. Nogueras, F.J. Zarazaga (auth.), Nicolas Guelfi, Egidio Astesiano, Gianna Reggio (eds.)

Година:

2003

Език:

english

Файл:

PDF, 3.48 MB

0 / 0

english, 2003

17

Scientific Engineering of Distributed Java Applications: Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003. Revised Papers

Scientific Engineering of Distributed Java Applications: Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Jose L. Ruiz, Jose L. Arciniegas, Rodrigo Cerón, Jesús Bermejo, Juan C. Dueñas (auth.), Nicolas Guelfi, Egidio Astesiano, Gianna Reggio (eds.)

Година:

2004

Език:

english

Файл:

PDF, 1.32 MB

0 / 0

english, 2004

18

Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 Proceedings

Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23–27, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Egidio Astesiano, Alessandro Giovini (auth.), Irène Guessarian (eds.)

Година:

1990

Език:

english

Файл:

DJVU, 4.74 MB

0 / 0

english, 1990

19

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)

Година:

1995

Език:

english

Файл:

PDF, 11.68 MB

0 / 0

english, 1995